Planning as Temporal Reasoning
نویسنده
چکیده
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference in a general representation, however, the ranges of problems that can be described is considerably greater than in traditional planning systems. In addition, other modes of plan reasoning, such as plan recognition or plan monitoring, can be formalized within the same framework.
منابع مشابه
Temporal Reasoning for Planning and Scheduling in Complex Domains: Lessons Learned
Over the past five years, we have implemented and applied efficient, general-purpose temporal reasoning as a substrate for building planning and scheduling systems. We have also investigated the kinds of temporal reasoning that will be most useful, and for what problems. Our results confirm that temporal reasoning is a sufficiently self-contained activity to be implemented entirely independentl...
متن کاملTemporal Reasoning in the SIPE-2 Planner
This paper describes a project that added temporal information and constraints to SRI International’s SIPE–2 hierarchical, nonlinear planning system. The goal was to incorporate the ability to represent temporal relationships between actions within a plan, and time window constraints on individual actions, and to maintain these constraints during the planning process. The extensions described i...
متن کاملTemporal reasoning in process planning* MIRA BALABAN and DAN BRAHA
Computer-aided process planning has been recognized as an important tool for coordinating the different operations involved in making the product. While temporal knowledge is central to the design of efficient and reliable process plans, little attention is given to the integration of process planning and temporal processing and reasoning. To fill the void, we propose in this paper a practical ...
متن کاملTemporal Reasoning with Ii-abduction Second Draft
Abduction can be deened as reasoning from observations to causes. In the context of dynamic systems and temporal domains, an important part of the background knowledge consists of causal information. The section shows how in the context of event calculus, diierent reasoning problems in a broad class of temporal reasoning domains can be mapped to abductive reasoning problems. The domains conside...
متن کاملA Reified Temporal Logic For Nonlinear Planning
Deductive planning treats planning as a reasoning process within a formal logic. Several formal logics have been applied in various deductive planning systems, but none is completely satisfactory and widely accepted by planning researchers. Almost all the formal logics applied in deductive planning are proposed for more general purpose than planning. Usually, the more general and the more expre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1991